Veri cation over discrete - continuous boundaries generate automatically Dagstuhl Seminar
نویسندگان
چکیده
From 4 July 2010 to 9 July 2010, the Dagstuhl Seminar 10271 Veri cation over discrete-continuous boundaries was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
Software Veri cation: In nite-State Model Checking and Static Program Analysis Dagstuhl Seminar
From 19.02.06 to 24.02.06, the Dagstuhl Seminar 06081 Software Veri cation: In nite-State Model Checking and Static Program Analysis was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the sem...
متن کاملBeyond the Finite: New Challenges in Veri cation and Semistructured Data Dagstuhl Seminar
From 20.04. to 25.04.2008, the Dagstuhl Seminar 08171 Beyond the Finite: New Challenges in Veri cation and Semistructured Data was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar a...
متن کاملDistributed Veri cation and Grid Computing Dagstuhl Seminar
The Dagstuhl Seminar on Distributed Veri cation and Grid Computing took place from 10.08.2008 to 14.08.2008 and brought together two groups of researchers to discuss their recent work and recent trends related to parallel veri cation of large scale computer systems on large scale grids. In total, 29 experts from 12 countries attended the seminar. The computing power of computers has increased b...
متن کاملContinuous Veri cation by Discrete Reasoning
Two semantics are commonly used for the behavior of real-time and hybrid systems: a discrete semantics, in which the temporal evolution is represented as a sequence of snapshots describing the state of the system at certain times, and a continuous semantics, in which the temporal evolution is represented by a series of time intervals, and therefore corresponds more closely to the physical reali...
متن کاملAlgorithms and Complexity for Continuous Problems (Dagstuhl Seminar 15391)
From 20.09.09 to 25.09.09, the Dagstuhl Seminar 09391 Algorithms and Complexity for Continuous Problems was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar are put together in this paper. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010